81. Automated deduction in geometr
پدیدآورنده: / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
82. Automated technology for verification and analysis :
پدیدآورنده: Shuvendu K. Lahiri, Chao Wang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
A96
84. BL,BL
پدیدآورنده: / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
85. Basic Mathematics for Economics, Business and Finance
پدیدآورنده: / Ummer, EK
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
86. Bidirectional transformations :
پدیدآورنده: Jeremy Gibbons, Perdita Stevens (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Transformations (Mathematics), Congresses.,Business & Economics-- Information Management.,Computer programming-- software development.,Computers-- Database Management-- General.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Databases.,Information architecture.,Software Engineering.,Transformations (Mathematics)
رده :
QA601
87. Bioinformatics and phylogenetics :
پدیدآورنده: Tandy Warnow, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Bioinformatics.,Computational biology.,Phylogeny.,Bioinformatics.,Computational biology.,Phylogeny.
رده :
QH324
.
2
88. Boolean functions
پدیدآورنده: / Yves Crama, Peter L. Hammer
کتابخانه: كتابخانه مركزی دانشگاه علوم بهزیستی و توانبخشی (تهران)
موضوع: Algebraic functions,Algebra, Boolean
رده :
QA341
.
C73
2011
89. Boolean functions
پدیدآورنده: / Yves Crama, Peter L. Hammer
کتابخانه: کتابخانه مرکز روانپزشکی رازی (تهران)
موضوع: Algebraic functions,Algebra, Boolean
رده :
QA341
.
C73
2011
90. Boolean functions: theory, algorithms, and applications
پدیدآورنده: Crama, Yves
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Algebraic functions,، Algebra, Boolean
رده :
QA
341
.
C73
91. Building Innovation Pipelines through Computer-Aided Innovation
پدیدآورنده: edited by Denis Cavallucci, Roland Guio, Gaetano Cascini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Computer simulation.,Computer-aided design.,Engineering mathematics.,Software engineering.
92. CAD/CAM in Practice :
پدیدآورنده: by A.J. Medland, Piers Burnett.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Physical Sciences & Mathematics.,Science (General),Sciences - General.
رده :
TS155
.
6
B935
1986
93. CAST Methods in Modelling :
پدیدآورنده: edited by Franz Pichler, Heinz Schwärtzel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer-aided design.,Engineering mathematics.
رده :
TA168
.
E358
1992
94. COMPSTAT 2004 - Proceedings in Computational Statistics
پدیدآورنده: edited by Jaromir Antoch.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Information storage and retrieval systems.,Mathematical statistics.,Statistics.
95. Certified programs and proofs :
پدیدآورنده: Jean-Pierre Jouannaud, Zhong Shao (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
C37
2011eb
96. Coloured Petri Nets :
پدیدآورنده: by Kurt Jensen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer simulation.,Software engineering.
رده :
QA267
.
B958
1992
97. Communication-Based Systems
پدیدآورنده: edited by Günter Hommel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra.,Computer science.,Mathematics.,Software engineering.,Systems theory.
98. Computational Electromagnetic
پدیدآورنده: / by Thomas Rylander, Par Ingelstr?╢m, Anders Bondeson
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Computer science,Numerical analysis,Computer engineering,Electronic books
رده :
E-BOOK
99. Computational Experiment Approach to Advanced Secondary Mathematics Curriculum
پدیدآورنده: / Sergei Abramovich
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
100. Computational fluid dynamics :
پدیدآورنده: Jiyuan Tu, Guan Heng Yeoh, Chaoqun Liu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Fluid dynamics.,Heat-- Transmission.,Turbulence.,Chaleur-- Transmission-- Simulation par ordinateur.,Fluides, Dynamique des-- Simulation par ordinateur.,Turbulence-- Simulation par ordinateur.,Fluid dynamics.,Heat-- Transmission.,TECHNOLOGY & ENGINEERING-- Material Science.,Turbulence.
رده :
TA357
.
T835
2008eb
